$\forall$$T$:Type, $L$:($T$ List). no\_repeats($T$;rev($L$)) $\Leftarrow\!\Rightarrow$ no\_repeats($T$;$L$)